∀ {X Y S : AlgebraicGeometry.Scheme} (f : X ⟶ S) (g : Y ⟶ S) [AlgebraicGeometry.GeometricallyIntegral f]
  [AlgebraicGeometry.Flat f] [AlgebraicGeometry.UniversallyOpen f] [AlgebraicGeometry.IsIntegral Y]
  [AlgebraicGeometry.IsLocallyNoetherian Y], AlgebraicGeometry.IsIntegral (CategoryTheory.Limits.pullback f g)