Time-reversal invariance