some progress in expressing this set theory text