A descent view on Mitchell's theorem.