Bounding revision pending