Re: [math-fun] asteroid lasso plan?