Formal theory of spin--lattice relaxation.