Proofing expressions