luerl now again encodes atoms