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