Formuly Modeling Intelligence