The great big boowa is equal to \( \lbrace 3,3,4 / 2 brace \) in BEAF. The term was coined by Jonathan Bowers.