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