Proving The Process-1.0