https://ethresear.ch/t/weak-subjectivity-under-the-exit-queue-model/5187