Convert the following formula into one that has neither an existential quantifier nor a Skolem function. ∀(x, y) { ∃z [on(x, y)∧above(z, y)] → above(x, y)}

Prove the equivalence between the two statements of the 2nd law of thermodynamics (i. e., a violation of one statement leads to the violatio the other statement)