Allison Henrich studies knots and her favorite theorem is about how one might unknot a knot. Also, music.