I was using a broader definition of lynching to mean any punishment meted out by popular opinion rather than proper processes. I certainly was not using the term literally, and I am fully aware of the horrible historical background of lynching. I certainly did not mean to trivialize this history.