is mentioned by

Thm* P:. P P = false

[not_assert_iff_bfalse]

In prior sections: core bool 1