using spec