For the third blog of this series, the focus is on proof testing. This article ...