Second target also done on $PROVE