ku-simons:231-7 ku-simons:238