Evaluated proc -- args {expr [join $args -]}