  This paper proves that when the $r \times r$ minors of an $m \times n$ matrix
of indeterminates are not a tropical basis then the tropical prevariety has
greater dimension than the tropical variety. It proves the same for the $r
\times r$ minors of an $n \times n$ symmetric matrix of indeterminates when r >
4.
