PART OF THE FACILITIES FOR THE THEORY