It's not that bad once you start doing proofs with it