"resolves" -> "exists"