Labelled infinites.