And a proctothorpe is ... well ...