exception labels (as in paper)