$PROVE ist eine Option