 		[Test(order=22)]
 		public function testNecessaryNotPFalse():void{
 			eq.necessaryNotP(false);
-			trace("Printing all reasons in NecessaryNotPFalse");
+			trace("~~ Printing all reasons in NecessaryNotPFalse");
 			for each (var reason:String in eq.getReason()){
 				trace(reason);
 			}

		[Test(order=21)]
		public function testEquivalentNotPTrue():void{
			eq.equivalentNotP(true);
			trace("Printing all reasons in EquivalentNotPTrue");
			for each (var reason:String in eq.getReason()){
				trace(reason);
			}

		[Test(order=8)]
		public function testIfOnlyIfNotQFalse():void{
			eq.ifOnlyIfNotQ(false);
			trace("~~ Printing all reasons in IfOnlyIfNotQFalse");
			for each (var reason:String in eq.getReason()){
				trace(reason);
			}
