updating locative.rkt