@robertmacdonald: The logical problem