Redirecting to Skolem normal form