Attempt at the inductive case.
Use forall printer... somewhat hacky