g = A ← x → H ↔ H