Dictionary entries possibly relevant to nonnulli: