ku-simons:307-3 ku-simons:310