look up any word, like ratchet:

witnessing pda isn't defined.
Can you define it?