Fix unclear parts marked by TODO:

 - independence of the key for probabilities
 - FEAL known plaintext-ciphertext algorithm
 - surjectivity of Eval