Mark world as Nonnull