spec ihm + tpl