The elementary theory of free Steiner triple systems | Synapse