Keeping it Real: Engineering Decisions to get Verify to 1.0

Gears