revised introduction, separated theory section