Species: craddocki LANGSTON & OLSON, 1986
Etymology:

Holotype: TMM 40031-54

Locality: Dissected flats about 100 feet above the base of the south side of a butte termed Tit Mountain, about three miles northeast of Dundee, in Northwest Archer County, Texas.

Horizon: Petrolia Formation (formerly Belle Plains Formation, middle Wichita Group), Lower Wichita Group.

Biostratigraphy: Land-vertebrate faunachron upper B.

Age: Upper Wolfcampanian stage, Upper Rotliegendes Epoch, Early Permian.

Material: Skull and attached mandibles.

Skull after HUTTENLOCKER, PARDO, SMALL & ANDERSON, 2013.