appropriate language if it is> going to be natural.> x=y is just an abbreviation for Az[zex<->zey], or equivalently, x is a> subset of y and y is a subset of x.>> Less trivially, the limitation of size principle here IS NOT natural.> That is TOTALLY counter-> intuitive.