variable assignment and substitiotion