Source Refactoring for Backtracking
Backtracking documentation goes here...