Added prove stuff