The Satori-Proof Tree