Text: 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.
Entailment: Converting a program from FORTRAN to Ada is allowed.
Contradiction: Programs can be converted no matter what.