prova experimental gismu

x1 is evidence, proof, an indication that x2 is the case.