X-Git-Url: https://gitweb.michael.orlitzky.com/?a=blobdiff_plain;f=doc%2Fsource%2Foverview.rst;h=95eb384f6069233747fa795fd18c4b0431c087d1;hb=f478abb8a0425a95af3ab585945cee649b6282bc;hp=98353b279826b1887c1798a43dd8b51f4f190ffd;hpb=b934f519ba41db6fe6b4fb025b13ee9718f27be6;p=dunshire.git

diff --git a/doc/source/overview.rst b/doc/source/overview.rst
index 98353b2..95eb384 100644
--- a/doc/source/overview.rst
+++ b/doc/source/overview.rst
@@ -1,15 +1,15 @@
 Overview
 --------
 
-Dunshire is a `CVXOPT <http://cvxopt.org/>`_-based library for solving
-linear (cone) games. The notion of a symmetric linear (cone) game was
-introduced by Gowda and Ravindran [GowdaRav]_, and extended by
-Orlitzky to asymmetric cones with two interior points.
+Dunshire is a library for solving linear games over symmetric
+cones. The notion of a symmetric linear (cone) game was introduced by
+Gowda and Ravindran [GowdaRav]_, and extended by Orlitzky to
+asymmetric cones with two interior points.
 
 The state-of-the-art is that only symmetric games can be solved
 efficiently, and thus the linear games supported by Dunshire are a
-bastard of the two: the cones are symmetric, but the players get to
-choose two interior points.
+compromise between the two: the cones are symmetric, but the players
+get to choose two interior points.
 
 In this game, we have two players who are competing for a "payoff."
 There is a symmetric cone :math:`K`, a linear transformation :math:`L`
@@ -27,17 +27,17 @@ an :math:`\bar{x}` from
 and player two chooses a :math:`\bar{y}` from
 
 .. math::
-  \Delta_{2} &=
+  \Delta_{2} =
     \left\lbrace
       y \in K\ \middle|\ \left\langle y,e_{1} \right\rangle = 1
     \right\rbrace.
 
 That ends the turn, and player one is paid :math:`\left\langle
 L\left(\bar{x}\right),\bar{y}\right\rangle` out of player two's
-pocket. As is usual to assume in game theory, we suppose that player
-one wants to maximize his worst-case payoff, and that player two wants
-to minimize his worst-case *payout*. In other words, player one wants
-to solve the optimization problem,
+pocket. As is usual in game theory, we suppose that player one wants
+to maximize his worst-case payoff, and that player two wants to
+minimize his worst-case *payout*. In other words, player one wants to
+solve the optimization problem,
 
 .. math::
   \text{find }