(n.) An extinct genus of marine reptiles allied to Plesiosaurus, but having a much shorter neck.