Is the Immaculate Conception a Dogmatic Definition?

Pope Francis describes the quest for a dog might as foolishness. But at the same time, it is feasible that at some point it could be declared and defined because it is in point of fact true. And this gets to the question of the sources of revelation. Her being mediatrix of all graces is directly related to her privileges which are revealed in scripture.