Your Proof tree is taking shape