YES
exiting with thread!
(VAR a b )
(RULES 
        response(a,b) -> b
        
)