Analytical induction - free choice

M Collins (noreply@blogger.com)