clarify in hott-co