R-805 red-proof: the R-805 note block removed from classify()
                    f"an empty bind must be named in the reasons; got {why}")
                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError: False is not true : an empty bind must be named in the reasons; got []

----------------------------------------------------------------------
Ran 3 tests in 0.002s

FAILED (failures=1)
