Now that we've introduced the field picture as an aid to thinking about propositions and their analytic series, a very pleasing way of picturing the relationships among a proposition <math>f : X \to \mathbb{B},</math> its enlargement or shift map <math>\operatorname{E}f : \operatorname{E}X \to \mathbb{B},</math> and its difference map <math>\operatorname{D}f : \operatorname{E}X \to \mathbb{B}</math> can now be drawn. | Now that we've introduced the field picture as an aid to thinking about propositions and their analytic series, a very pleasing way of picturing the relationships among a proposition <math>f : X \to \mathbb{B},</math> its enlargement or shift map <math>\operatorname{E}f : \operatorname{E}X \to \mathbb{B},</math> and its difference map <math>\operatorname{D}f : \operatorname{E}X \to \mathbb{B}</math> can now be drawn. |