Paul makes clear what definition he is using, so let’s discuss that instead of an unbearably boring discussion about which definition of “woke” is the real one.