 			for each (var reason:String in djs.getReason()){
 				trace(reason);
 			}
+			trace("Claim: ", djs.getClaim());
 			djsReverse.notQ(true);
 			trace("~~ Printing all reasons in Reverse NotQTrue");
 			for each (reason in djsReverse.getReason()){
 				trace(reason);
 			}
+			trace("Claim: ", djsReverse.getClaim());
 		}
 		[Test(order=4)]
 		public function testNotQFalse():void{

		[Test(order=1)]
		public function testNotPTrue():void{
			djs.notP(true);
			trace("~~ Printing all reasons in NotPTrue");
			for each (var reason:String in djs.getReason()){
				trace(reason);
			}
			djsReverse.notP(true);
			trace("~~ Printing all reasons in Reverse NotPTrue");
			for each (reason in djsReverse.getReason()){
				trace(reason);
			}
		}
		[Test(order=2)]
		public function testNotPFalse():void{

			for each (var reason:String in djs.getReason()){
				trace(reason);
			}
			trace("Claim: ", djs.getClaim());
			djsReverse.alternateQ(true);
			trace("~~ Printing all reasons in Reverse AlternateQTrue");
			for each (reason in djsReverse.getReason()){
				trace(reason);
			}
			trace("Claim: ", djsReverse.getClaim());
		}
		[Test(order=8)]
		public function testAlternateQFalse():void{
