3 1 Exploring Logical Dynamics : The Main Lines