One man's notes/Extensions