Skolem theory