Irreversible Form Constraints