Post-Consistency Post-Refactor Post-Debugged