ku-simons:9780-32 ku-simons:9812