A specific theory might restrict this rule with an occurs check.
یک تئوری خاص ممکن است این قاعده را با occurs check محدود کند.