ku-simons:307-59 ku-simons:366