Update functions 2.rkt