Compute common world of possible worlds
Merge branch 'master' of https://github.com/biktorrr/funwithtriples
Merge branch 'master' of https://github.com/biktorrr/funwithtriples
First working server
Merge branch 'master' of https://github.com/biktorrr/funwithtriples