Logical simplification.