k, can the tag be |A²K| ?