One is all you need: Second-order Unification without First-order Variables (Logical Methods in Computer Science, 2026)