Do we have the following simple facts about ko stated somewhere in the library?
HolIgorNotesOnKo
ProgressRate
Referenced byProgressRate
HomepagesHoligor