add spec for empty sequence