ku-simons:369-70 ku-simons:439