The petossolplex is equal to \(\lbrace 10, ext{petossol} (5) 2 brace\) in BEAF. The term was coined by Jonathan Bowers.