Suppose some future mission carries out active seismic sounding (using explosives, not waiting for rare moonquakes) of the deep interior of the Moon and finds that there is no lunar core. How would this discovery constrain chemical models for the origin of the Moon?