Force x. If true, force the next value, and so on. If there are no more values, return #t. If not, return #f.