The sorites paradox (/soʊˈraɪtiːz/;[1] sometimes known as the paradox of the heap) is a paradox that arises from vague predicates.[2] A typical formulation involves a heap of sand, from which grains are individually removed. Under the assumption that removing a single grain does not turn a heap into a non-heap, the paradox is to consider what happens when the process is repeated enough times: is a single remaining grain still a heap? If not, when did it change from a heap to a non-heap?[3]