&quot;Vagueness&quot; is one side where the other side of the same coin is abstraction - instead of counting number of sand grains in any given case and using &quot;set of N grains&quot; we abstracted such cases - where N is large enough for precise value of N not being important - into &quot;heap&quot;.<p>Abstraction is a convenient tool, and trying to put abstracted out details back in - like the precise number of grains - makes the tool more of a unnecessary liability, i.e &quot;heap&quot; abstraction disappears the moment you ask the precise number of grains, and instead &quot;set of N grains&quot; appears back.