Tag: induction in eight shaped loop