Agrgeo false, true disjunction