PetscTruth is now PetscBool