prior results for Ko