σ\leqslant τ