When Process Replaces Proof