This chapter describes how declarations can be operated in SocrateCloud. To obtain the declarations correctly, they need to be generated in the order described below: