Experimental support for partial chain verification: if an intermediate