Added an upper bound on the requirement