Proper bounds