Mister Exam

Expression (x⇒y)^(y⇒z)

The teacher will be very surprised to see your correct solution 😉