  The Inner Model Hypothesis (IMH) and the Strong Inner Model Hypothesis (SIMH)
were introduced by the first author in ``Internal consistency and the inner
model hypothesis'', Bulletin of Symbolic Logic, December 2006.
  In this article we establish some upper and lower bounds for their
consistency strength.
