Basics using ssr notation
half way Induction