Title: Mechanization Takes Command - A Contribution to Anonymous History