I feel like, as Florian says, we should import petsc4py and initialise in a separate module and then import the definitions we want from there (so it only happens once)