added formula to key exchange as comment