In NFU and related systems, the Burali-Forti paradox is blocked by stratification, allowing T to be ...