Converts an OR check to an AND check (and adds more thoughts)