some new extensions