make sure label() permeates through atomic() and friends