The "formal" interpretation is more widespread than the "substantive" interpretation. According to the formalist approach, how much notoriety must a law have?