Add one spec
add contraints