Распределение потоков по уравнениям: почему поведение по умолчанию?

Недавно я заново открыл небольшой пакет Романа Мэдера, который сообщает системе Mathematica автоматически распределять арифметические и подобные функции над такими выражениями, как x == y. Ссылка на пакет Maeder.

Во-первых, чтобы продемонстрировать, вот пример, приведенный Maeder:

In[1]:= Needs["EqualThread`"]

Теперь приступим к использованию потокового поведения для решения следующего уравнения для x «вручную»:

In[7]:= a == b Log[2 x]
In[8]:= %/b
Out[8]:= a/b == Log[2 x]

Теперь возведем в степень :

In[9]:= Exp[%]
Out[9]= E^(a/b) == 2 x

И разделите на 2:

In[10]:= %/2
Out[10]= (E^(a/b))/2 == x

Q: С точки зрения дизайна, может ли кто-нибудь объяснить, почему Mathematica по умолчанию настроена на такое поведение? Автоматическая многопоточность кажется типом поведения Mathematica. новичок ожидал - по крайней мере, для меня - возможно, кто-то может предложить один или два примера, которые вызовут проблемы с системой в целом. (И не стесняйтесь указывать на любое невежество в математике ... )