https://milmud.clwg.org/2016/04/everyone-must-die-offside-bernie/