[shauryamanu]

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