Spot on! When coins are lost, they're effectively taken out of circulation. This decreases the supply while demand remains the same or increases. So yeah, it's kinda like a donation to everyone else. Still, better not to lose 'em if you can help it!