Comments : Mechanized Machinations