Ophthalmology

Action of right superior oblique muscle is: