after this thesis exposition the main line of the argument begins