Changes

<li>

<li>

<p>In a setting where the imagination<math>\underline{f}</math> is fixed but the connection <math>F\!</math> is allowed to range over wide variety of possibilities, call <math>p\!</math> the ''stretch of <math>\underline{f}</math> by <math>F\!</math> to <math>\underline\mathbb{B},</math>'' and write it in the style <math>\underline{f}^\$ F,</math> exactly as if <math>^{\backprime\backprime} \underline{f}^\$ \, ^{\prime\prime}</math> denotes an operator f$ : (B^k -> B) -> (X -> B) that is derived from f and applied to F, ultimately yielding a proposition f$F : X -> B.</p></li>

<p>In a setting where the imagination<math>\underline{f}</math> is fixed but the connection <math>F\!</math> is allowed to range over wide variety of possibilities, call <math>p\!</math> the ''stretch of <math>\underline{f}</math> by <math>F\!</math> to <math>\underline\mathbb{B},</math>'' and write it in the style <math>\underline{f}^\$ F,</math> exactly as if <math>^{\backprime\backprime} \underline{f}^\$ \, ^{\prime\prime}</math> denotes an operator <math>\underline{f}^\$ : (\underline\mathbb{B}^k \to \underline\mathbb{B}) \to (X \to \underline\mathbb{B}</math> that is derived from <math>\underline{f}</math> and applied to <math>F,\!</math> ultimately yielding a proposition <math>\underline{f}^\$ F : X \to \underline\mathbb{B}.</math></p></li>

</ol>

</ol>