Heart vasospasm complicating atrial fibrillation ablation: a case statement and also writeup on the books.