Whats wrong with the Eyes?

A 37 year old man presented with a double vision. His wife stated
that his neck seems to be in spasm as he is always tilting his head towards the left
side like this:


He denied any pain or spasm in his neck muscles. Your colleague who is sitting
beside you told him to tilt his head towards the right side, and you noticed
something:


What do you notice?
a. Dropping of the left eye brow.
b. Dropping of the right upper eye lid.
c. Contraction of the frontalis muscles.
d. Slight elevation of the right pupil.
e. Excessive tearing.

Slight elevation of right pupil

Good observation, but why right pupil is elevated? Read the answer

This acquired head tilting, with positive Beilschowsky sign ( ie slight elevation of the pupil upon titling the head towards the ipsilateral side), with an increase in double vision, is highly characteristic of 4th cranial nerve palsy causing weakness of superior oblique muscle. He has right sided 4th cranial nerve palsy.

Is it because of the un-opposed pull of the inferior oblique muscle on the ipsilateral side?