Inner models of large cardinal hypotheses.