Binary rules simplified