Logical_disjunction loading ...