Better bound reduction