finished the major part of constructing a mono-inductive set.