let contraposition not happen that often but dependent on bag distribution.