ku-simons:9780-95 ku-simons:9875