Skolem Standard Form