formalsystems tagslist