`(x' -> ...)` executes x
(x' -> ...)executes x