Show and Prove [3a only]