session 2
comparing functions in here has new symbols:
Definition for :
or we can write this instead: