grammar – ProofJump Blog