Add OR patterns
Some propositional logic