> "based on the theory of Abstract Interpretation." I don't know about you all, but I get a bit scared when people tell they're basing what they're doing to me

> "based on the theory of Abstract Interpretation." I don't know about you all, but I get a bit scared when people tell they're basing what they're doing to me on some kind of abstract interpretations :-(