  One way to strengthen a large cardinal axiom based on the above template is to demand greater agreement between M and V.  For example, if one demands that Vκ+2⊆ M then the fact that κ is measurable (something witnessed by a subset of P(κ)) can be recognized by M.  And so, by exactly the same argument that we used above, there must be a measurable cardinal below κ.