Tools (envisaged)

This section contains the specifications of ENVISAGED TOOLS, i.e., tools that we would like to become part of TEv2.