Natto is a small infeasibility tool based on term orders.