isNonZero
PromiseLinkMonoid
TunnelMonoid