Comment by pierrefermat1

I think the better mapping of unit tests would actually be proofs of lemmas ?