ATP Theory