This is the only change I didn't merge because I think *in* fits better what I wanted to say (but maybe there's a better one). The idea is that since abstractions are the tools I use to think, you think *in* them, just like you don't talk about languages (well, you can too, but that's not the point here) but *in* them. I don't know if this point is very well expressed :(