Shown Reasoning Versus Verified Checking