EnvThes
trade-off
derived property