"Diplomesodon pulchellum" . . . .