ku-simons:307-8 ku-simons:315