Re: [math-fun] The astroid is a trisectrix