Can we assert that nothing was imported, since things already exist? Also, it seems good to assert that the units that are present are the correct units.