I would add a couple of comments on the semantics of these hooks. All we're given otherwise is their type signature..