1: \begin{abstract}

2: We study the first-order almost-sure theories for classes of finite structures that are specified by homomorphically forbidding 

3: a set $\cF$ of finite structures. 

4: If $\cF$ consists of undirected graphs, a full description of these theories can be derived

5: from the Kolaitis-Pr\"omel-Rothschild theorem, which treats the special case where $\cF = \{K_n\}$. The corresponding question for finite sets $\cF$ of finite directed graphs is wide open. 

6: We present a full description of the almost-sure theories of classes described by homomorphically forbidding finite sets $\cF$ of oriented trees; all of them are $\omega$-categorical. In our proof, we establish a result of independent interest, namely that every constraint satisfaction problem for a finite digraph has first-order convergence, and that the corresponding  asymptotic theory can be described as a finite linear combination of $\omega$-categorical theories. 

7: \end{abstract}

8: