Mechanically verified