⁵Expressions such as “a & b & c” and “a + b * c” have to be rewritten into respectively “((a & b) & c)” and “(a + (b * c))” in order for these substitutions to work in the general case.