1990/12: Norms and formalization