Comment by tyromaniac

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