induction: semicolons -> commas