Proof | ZXDB Entry