Added prove command.