Formalists hold that the law must be prospective, well-known, and have characteristics of generality, equality, and certainty