The AT501 pacemaker has both "prevention" and "treatment" algorithms for atrial tachyarrhythmias. The investigators wish to determine whether these special features, over the long term, decrease the amount of time the person experiences AF.