Text this: Asynchronous operators of sequential logic :