A principled restriction—such as type theory or stratification—provides independent theoretical moti...