A Full Proof Plan