 		import org.flexunit.Assert;
 		
 		private var djs:DisjunctiveSyllogism;
-		private var djsReverse:DisjunctiveSyllogism;
 		
 		[Before]
 		public function setUp():void
 		{
 			//DisjunctiveSyllogism(claimText:String, reasonText:Array, reversePos:Boolean,inferenceText:String="", inferencePresent:Boolean=false)
-			djsReverse = new DisjunctiveSyllogism("Basic Claim", ["Reason 1", "Reason 2"], true, "Either Foo or Bar, and Baz unless Quux", false);
 			djs = new DisjunctiveSyllogism("Basic Claim", ["Reason 1", "Reason 2"], false, "Either Foo or Bar, and Baz unless Quux", false);
 		}
 		

			trace("~~ Printing all reasons in AlternatePTrue");
			for each (var reason:String in djs.getReason()){
				trace(reason);
			}
			djsReverse.alternateP(true);
			trace("~~ Printing all reasons in Reverse AlternatePTrue");
			for each (reason in djsReverse.getReason()){
				trace(reason);
			}			
		}
		[Test(order=6)]
		public function testAlternatePFalse():void{

			for each (var reason:String in djs.getReason()){
				trace(reason);
			}
			trace("The claim is: ", djs.getClaim());
			trace("The inference is: ", djs.getInference("notP"));
		}
		[Test(order=2)]
		public function testNotPFalse():void{
