$PROVE What garbage falls but does not rise