simplified reqs for implicit enveloping