Sells, Peter, "Using Subsumption Rather Than Equality in Functional Control", , 2006