Hexproof (Explicit)

Self-Diagnostic