logical impossibility