Are Correctness Conditions Descriptive or Prescriptive? | Dark Hacker News