is mentioned by

Thm* T:Type{i'}, x:T. x < > False	[member_col_none]
Def < > (x) == False	[col_none]

In prior sections: core bool 1

Try larger context: GenAutomata