Did you know that the discovery of Lazarussuchus showed that choristoderes , a type of aquatic reptile, had not gone extinct in the Eocene , but persisted for millions of years after?