Remixing boring proof points into an epic earworm