Ophthalmology

Synergistic muscle for right medial rectus is ?