faraday cage subgroup of cage, 1 assertions