rule 1 solves everything! backtracking counted