If it's a monoid it's presumably closed under next