Update functions 4.rkt