We conjecture that the class of frame matroids can be characterised by a
sentence in the monadic second-order logic of matroids, and we prove that there
is such a characterisation for the class of bicircular matroids. The proof does
not depend on an excluded-minor characterisation