function notation and substitution