Experimental verification working!