It uses models to root out logical inconsistency.
فإنه يستخدم نماذج لاقتلاع جذور عدم تناسق المنطقية.