Title: Rigorous Magic