$PROVE is trying hard to touch $2.