let _false = of_disj (Disj._false)