バンチ書き換えの共通構造

動詞 DoSomething	名詞 Something	短縮
construct	construction	cons
calculate	calculation	calc
derive	derivation	deriv
reason	reasoning	reas

Begin Something
  WeHave A
    And, B
  Using Something X params
  WeHave A'
    And, B'
  Using Something Y params
  ...
  ...
End Something

WeHave は省略可能。And, は単に , でもよい。その他省略すると：

Something
  A, B
  Using X params
  A', B'
  Using Y params
  ...
  ...
End

あるいは：

Something foo := Begin
  A, B
  Using X params
  A', B'
  Using Y params
  ...
  ...
End