Added InverseBound functionality. No proof for correctness so far...