Strong_antichain loading ...