formalized likely_environment type