 		[Before]
 		public function setUp():void
 		{
-			//ModusPonens(claimText:String,reasonText:Array,reversePos:Boolean,inferenceText:String="",inferencePresent:Boolean = false)
-			mp = new ModusPonens("Basic Claim", ["Reason 1", "Reason 2"], false, 
-				"If Foo, then Bar is a sufficient condition for Baz provided Quux, and Flarp implies Bletch only if Snork", false);
+			//The functions are too various to use the same one over and over.
 		}
 		
 		[After]

		[Test(order=12)]
		public function testSufficientConditionFalse():void
		{
			mp.sufficientCondition(true);
			trace("~~ Printing all reasons in testSufficientConditionFalse");
			for each (var reason:String in mp.getReason()){

		[Test(order=7)]
		public function testProvidedThatTrue():void
		{
			mp = new ModusPonens("Basic Claim", ["Reason 1", "Reason 2"], false, "Foo provided that Bar, and Baz", false);			
			mp.providedThat(true);
			trace("~~ Printing all reasons in testProvidedThatTrue");
			for each (var reason:String in mp.getReason()){
