Some extensions