add KIF spec