SEQUENT -> SUBSEQUENT 118

117. line 11: sequent -> subsequent

118. line 13: for -> into