Unfinished.
Bisimilarity.