Diamonds on large cardinals - Hellsten, Alex (Mathematica, 2003)