In this chapter we prove a functional completeness result for the hybrid logic of the universal modality. The chapter is structured as follows. In the first section of the chapter we describe the natural deduction system under consideration, in the second section we give an introduction to the notion of functional completeness, and in the third section we give general rule schemas for natural deduction rules. In the fourth section we prove the functional completeness result and in the final section we discuss the result.