The failure of bisimulation in non-universal type spaces reflects incompleteness of the model, not a...