added EitherSpec