EnvThes
derived property
dominance