Skolem occurs loop