Read the second chapter on Formalism