[stainforth]

Is this what Grothendieck specialized in? I remember reading an article about how it was applied by NSA to break encryption. I tried reading then about how that was done but at most it seems like its one abstraction layer above the model itself and so you can step around things, maybe.