Final Solution for the ATOTer Problem.