Sketch proof of A_sound