Hi I'm using gproc to register local names and properties. I've read that gen_leader is needed to use gproc in the global scope. How does the data get synced across all nodes? Why isn't mnesia being used for that? How do you solve race conditions and failures? Thanks