make delta applicators explicit