[math-fun] asteroid lasso plan?