Through the use of this technique, Buehler was able to show the AI design to systematically rationale more than sophisticated scientific concepts and behaviors. The symbolic associations introduced by morphisms enable it to be clear that the AI just isn't merely drawing analogies, but is partaking in deeper reasoning that maps summary constructions