How can anyone know for sure which bitcoins are lost?