qk\eq        witness