Add proof that unit tests pass. #206