Or Rule with test; improving rules to backtrack