Diplocephalus definitions