SUCCESS 0.01 (total time) COMPLETED TRS response(compose(x, y), z) -> response(x, response(y, z))