After this, I investigated what is essential for a proposition to be true and certain. Since I had found one proposition that I knew was true, I believed I should be able to find the basis for this certainty as well.
These first messages were sent in late 1971. The next release of TENEX went out in early 1972 and included the version of SNDMSG with network mail capabilities. The CPYNET protocol was soon replaced with a real file transfer protocol having specific mail handling features. Later, a number of more general mail protocols were developed.
After this I inquired in general into what is essential to the truth and certainty of a proposition; for since I had discovered one which I knew to be true, I thought that I must likewise be able to discover the ground of this certitude.