Functional dependency.