We need symbolic shifts and `Poly` can afaik not do that.