FORMAT: add note on ElGamal