Several extensions