Different formal kravspec
merge