Text this: Discrete mathematics and induction to proofs and combinatory