Text this: Induction rules for Transition Algebra