add a comment that this a sequence because the inner *F are lazy above.