Not at all. Try to write equations using English words instead of "cryptic characters" and think which is more expressive, eg: a) a*(b+c) = a*b + a*c b

Not at all. Try to write equations using English words instead of "cryptic characters" and think which is more expressive, eg: a) a*(b+c) = a*b + a*c b) equal(multiply(a, add(b, c)), add(multiply(a, b), multiply(a, c)))