induction zz equivocal claim

-