paulfchristiano comments on Subsequence Induction (draft)