Original: One solution to this problem is to rely on the notion of induction.
Simplified: Notions