Needed: Declaration of In-TER-dependence