Comment by shauryamanu

That creates an opportunity to make models that understand mathematical logic.