Design and Rationale of the PRAGUE‐12 Trial: A Large, Prospective, Randomized, Multicenter Trial That Compares Cardiac Surgery With Left Atrial Surgical Ablation With Cardiac Surgery Without Ablation in Patients With Coronary and/or Valvular Heart Disease Plus Atrial Fibrillation