Differences between version 1 and revision by previous author of induction.
Other diffs: Previous Major Revision, Previous Revision