SUCCESS 0.04 (total time) COMPLETED TRS response(a, b) -> c response(a, c) -> b response(compose(x, y), z) -> response(x, response(y, z))