Use existing terms for x_result