proper bounds