Complete proofs and programs are isomorphic. Many proofs while incomplete are perfectly legible to experienced practitioners who can fill in the details without getting bogged down in trite steps. Morevoer, isomorphisms are simply provable facts between two types of objects. Most isomorphisms are generally used to convert one object into another object which is more amenable to being used in a given proof. An isomorphism does not beg the conversion and there are many trivial isomorphisms of limited use.