Question
Is it true that `bar {(a * b) * c} = bar {a cdot b} * bar c =
bar {(a * b) * c} =`
`bar {a * b} * bar c = (bar a * bar b) * bar c`
?