Sort:  

ha .. ha .. where tau sometimes true .. ha .. ha ..