specify ima constraints