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: Converting a program from FORTRAN to Ada is allowed, but not the other way around.
Relation: neutral