https://jameslandrith.com/2006/12/19/barr-defects-grumbling-begins/