Source: https://www.edu.gov.mb.ca/m12/eval/coq/docs/complet.pdf