Thread:Ultraprime2/@comment-25805649-20200305223426/@comment-3987368-20200329042425

Sounds fine to me.