  We prove that any equational basis that defines RRA over wRRA must contain
infinitely many variables. The proof uses a construction of arbitrarily large
finite weakly representable but not representable relation algebras whose
"small" subalgebras are representable.
