Using Subsumption Rather Than Equality in Functional Control · Study