nontrivial functional dependence