see [[Third cranial nerve]]