Return to Article Details An approach to blending information into domestic proofs Download Download PDF