add seq and reimplement then, skip, and add