Trust, But Verify (Programmatically)

Refactoring