Add upper bound on fay-base