super-property of all labels