OK, actually we want to change the N in seqenv