$PROVE

Target $1