better [Prover.normalize]