  The main result of this paper is a probabilistic construction of finite rigid
structures. It yields a finitely axiomatizable class of finite rigid structures
where no L^omega_{infty, omega} formula with counting quantifiers defines a
linear order.
