Are Correctness Conditions Descriptive or Prescriptive? | Heykuki News