Comments only: replace ":=:" by "~" (notation for equality predicates)