Intention to simplify boolean expressions