1: \begin{abstract}

2: We discuss refined applications of Kato's Euler systems for modular forms of \emph{higher} weight at  good primes (with more emphasis on the non-ordinary ones) beyond the one-sided divisibility of the main conjecture and the finiteness of Selmer groups.

3: These include

4:  a proof of the Mazur--Tate conjecture on Fitting ideals of Selmer groups over $p$-cyclotomic extensions

5:  and a new interpretation of the Iwasawa main conjecture with structural applications.

6: \end{abstract}

7: