Talk:Bud's Knotty Problem