metal shed subgroup of shed, 4 assertions