If P = NP then a bastion of Jewish Software Develo// Unix GNU specific auto configuration preference defaults platform.value = "unix";