condensing ZFC language ideas and concepts