; sequen