So it's clear that snail needs a pcs and then the entire construction is a bit overkill But why is no one doing this? Seems like a really simple and efficient analogue to the univariate quotient zero check