The claim conflates bisimulation failure for arbitrary relational models with a general impossibilit...