Destructively Mechanized LP