REFERENCES | Eni6ma - Rosario-Wang Proof Cypher