Specifications

TODO!

In this document