zero-0.1.3.1: Semigroups with absorption