What is formal norm?