arc lamp subgroup of lamp, 2 assertions