Mechanized Extinction