Parts of Planning a Proof MG