If we had driven here before the extinction, we would have seen animals as abundant and diverse as those of today's Serengeti, except most would have belonged to a group known as synapsids.