(Q25519)

Statements