Opening the Bounded Convergence Inspector…