Example: 4MK bound to 4MKC