Why doesn't it matter? You'd already mentioned that some simplifications cost us in terms of the types of attacks we can model. Does this one also? [footnote or biblo would be fine]