The ATM problem (finished)