The following sections explain some of the concepts behind PROCEED.
Some of the concepts are not in a final version or they are maybe not completely implemented yet.