Proving Delay (2020 Conference)