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.