Disjunction 132 Bytes