Pulmonary vein isolation versus sham procedure in patients with atrial fibrillation | Synapse