Chapter 9: An in-depth symbolic framework