Better definition for inner environments