The First Formulation of the Categorical Imperative

Must moral laws be universal laws?