Multiple realizability at the type-level doesn't entail every token implementation is equally functi...
This proposition has not been edited since the history system was added.