Wow, this problem has been around for a long time. Exciting to see this finally figured out.
counter-example results are always fun