Necessary conditions can be verified independently of knowing the identity relation holds, unlike su...