ku-simons:307-18 ku-simons:325