Coq And Lawlz

Coq [kok] noun - some sort of interactive theorem prover in the comp sci world and, more importantly, an obvious source of endless jokes that someone finally took advantage of...by advertising Coq lessons to the entire CIS listserv. Who was bold enough to offer them?

OOOOOOOOOOO!!!!! BOOM ROASTED! OWNED! PUNK'D! BURNED! ICED! DISSED!!!! WHATEVER THEY CALL IT THESE DAYS! Moral of the story: don't make your Gmail password "password."