SMOOTH PROOF