This is a Proof Group Example Code document.