Another A != a