Write a few proofs with it and then come back to this