make KAttributes hold K