K or k-IHadr as § @r