eMonkey is a decentralized graphical social virtual reality written in E, with fine-grain access control.