1: \begin{abstract} We introduce  a uniform method

2: of proof for the following results.   For {\em each} of the following

3: conditions, there are $2^{\aleph_0}$ families of Steiner systems,

4: satisfying that condition:  i) Theorem~\ref{getsparse}: (extending

5: \cite{Chicoetal}) each Steiner triple system is $\infty$-sparse and has a

6: uniform but not perfect path graph; ii) (Theorem~\ref{restrictk0}:

7: (extending \cite{CameronWebb}) each Steiner $k$-system (for $k=p^n$) is

8: $2$-transitive and has a uniform path graph (infinite cycles only); iii)

9: Theorem~\ref{omitmitre}: (extending \cite{Fujiwaramitre}, each is

10: anti-Pasch (anti-mitre); iv) Theorem~\ref{getsmquasigrp} has an explicit

11: quasi-group structure. In each case  all members of the family satisfy the

12: same complete strongly minimal theory and it has $\aleph_0$ countable

13: models and one model of each uncountable cardinal.

14: \end{abstract}

15: