Return to Article Details Functional, normal writing language. Proof operators Download Download PDF