EnvThes
derived property
connectivity