The body is an environment with a worst-case spec