Expand description

The kind of hidden message in a proof

Enums

Two types of hidden messages