Bounded Interpretations