> -- Иван Денисов писал(а):
> Получается, что b^ — это всё-таки переменная согласно сообщению о КП. Не выражение.

Согл. п. 8 это - выражение; согл. п. 4 оно обозначает переменную, на которую ссылается b; возвращаясь в п. 8, значение выражения b^ - это текущее значение переменной, на которую ссылается b.