@jcreed @leah ooh, I like this as an example of "located data and computation" (one of the hallmarks of choreographic programming)