Background section: rewrite about QuickSpec and add example