reasoning about the latest bounds