the theory of "IF"