Re: [math-fun] One-upping(?) Julian's smaller Minsky star