ok but how does the mint know they’re lost?