Kravspec stuff
merge