April 2023 – ProofJump Blog