k is a forall, any type of Comment can be used.