Colour in ElGamal proofs and clarify colour wording