We also have `p_Sub`, which destroys the input polys...