lim ‘ * Allm.