Logical Totalitarianism