What the func? Multiple realizability need not be vague.

Multiple realizability (MR) is not necessarily unclear nor does it purely operate at the computational level. To understand potential relationships between MR and other constraints, such as metabolic, we formalize possible meanings of function in cognitive science. We build on these to formalize MR, thus resolving its apparent vagaries. Importantly, MR formalisms meaningfully guide and constrain theory building.