A Verified Circulation