allow exp_sel only if p.L not yet seen => exp_has_unique works :-)