Verification and Connection to Argument