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