With more recent concepts of finite model theory, proof that FO(TC) is strictly more expressive than FO follows immediately from the fact that FO(TC) is not Gaifman-local (Libkin 2004:49).
با مطلب اخیر مفاهیم محدود مدل تئوری اثبات این که FO(TC) است که به شدت رسا تر از FO شرح زیر است بلافاصله از این واقعیت است که FO(TC) است Gaifman-محلی (Libkin 2004:49).