$PROVE falling wedge is already DONE
๐Ÿš€๐Ÿš€