First-order convergence for 321-avoiding permutations | Synapse