January 2021 – ProofJump Blog