logical problem