REVERSED FUNCTOR LOGIC [due to STL's backwards denencies]