Four Formal Izabel Theories Of Intelligence