ku-simons:307-19 ku-simons:326