Documentation

The documentation of our proposal is here: