Email Record: Labelled atoms ;