Formal System Codes and Policies Elements

What do you think is the most important element of codes and policies as a formal system and why?