ku-simons:3862-2 ku-simons:3864