$PROVE logic has been verified