Source Refactoring for Backtracking

Backtracking documentation goes here...