some more documentation on the one time pad