Tag: improper handling of mathematical induction proofs