Some derivations related to the terminal constraints.