Substrate

#monoid #equivalence