Mister Exam

Expression x⇒(x⇒y)

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