Make sure the formal syntax of AUTH reflects the use of K as a "more info" prompt. Specifically, make sure "K authenticate" is OK by the formal syntax.

Issue done.