If S(x, y) means "dog x is smaller than dog y", and T(x) means "dog x is a terrier", then "exists x: for all y: T(y) S(x, y)" means "there is a dog that is smaller than every terrier", while "for all y: exists x: T(y) S(x, y)" means "every terrier has some dog that is smaller than it". Select one: True False