Introduce UnresolvedNumber