We give an extender characterization of a very strong elementary embedding between transitive models of set theory, whose existence is known as the axiom 12. As an application, we show that the positive solution of a partition problem raised by Magidor would refute it.