TY - RPRT TI - SATisfying the High School Identities but not Wilkie's Identity AU - Agon Hajdari AU - Johannes Niederhauser PY - 2026 UR - https://arxiv.org/abs/2608.16406 ID - 2608.16406 ER -