ISAI , gifne ,förmodar