Counting the size of proofs and definitions.