RFC-1 is now draft (is its own proof)
Added link to RFC-1