notes about skolem capture