Functionalism's defining feature—multiple realizability—is genuinely incompatible with type-identity...
This proposition has not been edited since the history system was added.