So, like we set logic as formal essentially.
इसलिए, जैसे हम तर्क को औपचारिक रूप से निर्धारित करते हैं।