$PROVE long x2 1.2$