April 2020 – ProofJump Blog