Goal 1.5$ $PROVE