The algebraic techniques developed by Kakde will almost certainly lead eventually to major progress in the study of congruences between automorphic forms and the main conjectures …