for bad bots

John Opper (1908-1994)