What’s so funny, cyclotosaurus?