ku-simons:307-7 ku-simons:314