What's Inside La logique symbolique | tbr*a