more explicit prove?