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 not be considered a heap anymore, the paradox is to consider what happens when the process is repeated enough times that only one grain remains and if it is still a heap. If not, then the question asks when it changed from a heap to a non-heap.[3]