discussion:manual:chapter3:symbolic