ku-simons:307-12 ku-simons:319