-7^1? c^<->

^ K