 		[Test(order=1)]
 		public function testIfOnlyIfPTrue():void{
 			eq.ifOnlyIfP(true);
-			trace("Printing all reasons in IfOnlyIfPTrue");
+			trace("~~ Printing all reasons in IfOnlyIfPTrue");
 			for each (var reason:String in eq.getReason()){
 				trace(reason);
 			}

		[Test(order=25)]
		public function testEquivalentPTrue():void{
			eq.equivalentP(true);
			trace("Printing all reasons in EquivalentPTrue");
			for each (var reason:String in eq.getReason()){
				trace(reason);
			}

		[Test(order=24)]
		public function testNecessaryNotQFalse():void{
			eq.necessaryQ(false);
			trace("~~ Printing all reasons in NecessaryNotQFalse");
			for each (var reason:String in eq.getReason()){
				trace(reason);
			}
