Modification in the conf structure, and some progession in the development of the logic