let
_false = of_disj (
Disj
._false)