Improved bounds and parts checking