Tag

when to try natural induction