Functioning backtrack rules.