Yefu's notes/Extensions