What_is_Decidim?_-_Ideals,_etc.