Why is eventually visible safe here? It doesn't seem to be.