ku-simons:3022-18 ku-simons:3040