Sketch of an ATP