  This extended abstract was written to accompany an invited talk at the 2021
SC-Square Workshop, where the author was asked to give an overview of SC-Square
progress to date. The author first reminds the reader of the definition of
SC-Square, then briefly outlines some of the history, before picking out some
(personal) scientific highlights.
