Describir: Automated verification of pulmonary vein isolation in radiofrequency- and cryoballoon-guided ablation.