@kevinwong: Tau is part logical