Semigroups, Presburger formulas, and languages | Synapse