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)}

4. what is the reason for including the following code snippet in the header file animal.h? #ifndef animal_h #define animal_h class animal { public: animal(); animal(double new_area_hunt); void birth(); void hunt(double new_area_hunt); void death(); double get_area_hunt() const; private: double area_hunt; }; #endif