Premise: operate with similar functional capability in a different environment; for example, converting a program from FORTRAN to Ada or converting a program that runs on one computer to run on another.

Hypothesis: Programs can be converted no matter what.
Relation: contradiction