== Analysis, Motivation and Code Audit ==