proves ingres