Solve R_provability.