The Best Verification Strategy You’ve Never Heard Of Author(s): David Aerne, Amir Attarha, Harry Foster, and Kurt Takara Download