add verify spec