This section introduces and defines the different HEADS actors.
As we will intensively refer to these actors in the rest of this document, better read this whole section!