almost proof by induction. almost.