Re: [math-fun] [EXTERNAL] Re: asteroid lasso plan?