Theoretical Underpinnings of Symbolic Modelling