Abstract: 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 formalise possible meanings of function in cognitive science. We build on these to formalise MR, thus resolving its apparent vagaries. Importantly, MR formalisms meaningfully guide and constrain theory building.