Theorem: There is a one to one correspondance between reversibility of program logic and predictability/stability of that program.
This site conforms to the following standards:
Theorem: There is a one to one correspondance between reversibility of program logic and predictability/stability of that program.