update syntax of contracts
Add a line about "by" operator