of course, there is actually no way to trigger this remotely since map is a no-op on Empty....

I guess this is fine.