integrated Nested Maps in parts of the Logic, more to come