correction: change "=" to ":=".