Initial conditions.
Everything but the inductive clauses.