Weeks of debugging can save you hours of TLA+.

Markus Alexander Kuppe, BlockingQueue