Anatomy

The antagonistic muscle to superior rectus is: