Added numbering for citing the clauses