Re: [petsc-dev] I do not think this is the right solution