Thrinaxodon, a burrowing, whiskered synapsid that lived from the Permian through the Triassic p