Bounded Underapproximations