Text this: Synchronous equivalence :