Added note on proof terms.