Really rotate in boro_set_left_p() and boro_set_right_p().