Logical impossibility