Advance and Be Mechanized