Ophthalmology

Action of right superior oblique muscle is-