Eine Gleichung ist eine syntaktische Regel.