Depends on how you're thinking about the semantics. I'm fine with it either way.