Logic of ATM