TIL about the Sorites Paradox, a paradox that arises from vague predicates. If you remove a grain of sand from a heap, it is still a heap of sand. 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?