Changes

<li>

<li>

<p>In a setting where the imagination f is fixed but the connection F is allowed to range over wide variety of possibilities, call P the "stretch of f by F to B", and write it in the style "f$F", exactly as if "f$" denotes an operator f$ : (Bk -> B) -> (U -> B) that is derived from f and applied to F, ultimately yielding a proposition f$F : U -> 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 P the "stretch of f by F to B", and write it in the style "f$F", exactly as if "f$" denotes an operator f$ : (Bk -> B) -> (U -> B) that is derived from f and applied to F, ultimately yielding a proposition f$F : U -> B.</p></li>

</ol>

</ol>