experiment -1382 {experiment}, proof, trial,

~~~~~~