https://genycourse.org/structured-analysis-note-covering-numbers/