((GIVEN w x y z)
 (RETURN (- (+ x (+ y z)) w))
)