Add \todo about using a stricter upper bound.