Mister Exam

Expression x*y->yv-x*z

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