Include BooleanOperations.html