I don't think the parent poster really believes that this should be defined in binary absolutes. I agree with the generality, but the more important question i

I don't think the parent poster really believes that this should be defined in binary absolutes. I agree with the generality, but the more important question is, how do we turn "Types 2s" into "Type 1s"? They're just misguided, not evil.