The third mark of intentionality involves the failure of substitutivity for coextensive singular terms. In fact Eisenhower was the man who would succeed Truman as President of the United States. However, from the fact that we knew that Eisenhower was in command of the Army, it does not follow that we knew that the man who would succeed Truman was in command of the Army.