  The ontic breakthrough in quantum foundations, consisting of three theo-
rems, that of Pusey, Barrett, and Rudolph (PBR), the Colbeck-Renner one, and
Hardy's one, is shortly presented, together with various reactions. Some of the
ideas involved are explained and/or commented upon. Thus, the wave- function is
proved real in three independent ways. Each of the theorems rests on more or
less plausible assumptions, but they require more in-depth anal- yses.
