Consistency of the AT