 		[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);
 			}
+			trace("Claim: ", djs.getClaim());
 			djsReverse.notP(true);
 			trace("~~ Printing all reasons in Reverse NotPTrue");
 			for each (reason in djsReverse.getReason()){
 				trace(reason);
 			}
+			trace("Claim: ", djsReverse.getClaim());
 		}
 		[Test(order=2)]
 		public function testNotPFalse():void{

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

			for each (var reason:String in djs.getReason()){
				trace(reason);
			}
			trace("Claim: ", djs.getClaim());
			djsReverse.notP(false);
			trace("~~ Printing all reasons in Reverse NotPFalse");
			for each (reason in djsReverse.getReason()){
				trace(reason);
			}
			trace("Claim: ", djsReverse.getClaim());
		}
		[Test(order=3)]
		public function testNotQTrue():void{
