Thread:B1bl1kal/@comment-30079834-20190922211100

I guess we could use the brackets for the failed/succeeded goals. 