push proves