break up "BOE" conjunction of 2 tautologies