FORMAL ACCOUNT OF SBF2020 | ScratchStats