SeanInMotion Proofs – UoOHIF 2019.02