Set theory with a proper class of indiscernibles - Ali Enayat (2020)