diff --git a/models/Application_examples/Baseball_At_Bat.mp b/models/Application_examples/Baseball_At_Bat.mp
index c8ed3832233dcd0ad6d158b46a8b1e48e319a28e..24e64fce0de37d2127b3d936db4fcc79bba5b7fc 100644
--- a/models/Application_examples/Baseball_At_Bat.mp
+++ b/models/Application_examples/Baseball_At_Bat.mp
@@ -8,14 +8,18 @@
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Purpose ]────────────────────────────────────────┐ │
-│*│ │ To show that MP can be used to model results from  │ │
-│*│ │ interactions that are found in a very well-known   │ │
-│*│ │ game such as Baseball. This model demonstrates a   │ │
-│*│ │ baseball at bat involving 1 Pitcher and 1 Batter.  │ │
-│*│ │ It is important to note, though, that this model   │ │
-│*│ │ shows only a selection of all of the possible      │ │
-│*│ │ Batter outcomes that can actually occur in the     │ │
-│*│ │ game of Baseball.                                  │ │
+│*│ │ To                                                 │ │
+│*│ │ 1) demonstrate several different aspects of ENSURE │ │
+│*│ │    in MP, including the use of inequalities within │ │
+│*│ │    ENSURE constraints, and                         │ │
+│*│ │ 2) show that MP can be used to model results from  │ │
+│*│ │    interactions that are found in a very well-known│ │
+│*│ │    game such as Baseball. This model illustrates   │ │
+│*│ │    a baseball at bat with 1 Pitcher and 1 Batter.  │ │
+│*│ │    It is important to note, though, that this model│ │
+│*│ │    shows only a selection of all of the possible   │ │
+│*│ │    Batter outcomes that can actually occur in the  │ │
+│*│ │    game of Baseball.                               │ │
 │*│ └────────────────────────────────────────────────────┘ │
 │*│                                                        │
 │*│ ┌─[ Description ]────────────────────────────────────┐ │
@@ -35,7 +39,7 @@
 │*│ │ impossible with only 1 Batter.                     │ │
 │*│ │                                                    │ │
 │*│ │ A snapshot of typical baseball occurrences are     │ │
-│*│ │ highlighted in the Pitcher and Batter ROOT events. │ │
+│*│ │ highlighted in the Pitcher and Batter root events. │ │
 │*│ │ Fastball, Breaking_Ball, and Changeup represent the│ │
 │*│ │ three main categories of baseball pitches. The     │ │
 │*│ │ composite events No_Swing, Swing_and_Miss,         │ │