ku-simons:3022-20 ku-simons:3042