response(compose(X,Y),W) -> response(X,response(Y,W))