ku-simons:2924-43 ku-simons:2967