On elementary equivalence of free quasigroups

For free quasigroups the following results are proved. Every two free quasigroups have the same $\forall$-theory. The elementary theory of any class of free quasigroups of infinite rank is decidable and coincides with the elementary theory of a free quasigroup of countable rank.