Are Correctness Conditions Descriptive or Prescriptive?
buttondown.com