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