For the last several years, mostly motivated by diagnostic and design problem solving, there has been much work on functions of devices. The intuitions about functions that these investigations capture and to some extent formalize are not all the same, and are generally quite restricted in their range of applicability. In this paper, we attempt to provide a foundation for unifying and generaliz...