TODO: Document here the use of labels.