oil lamp subgroup of lamp, 3 assertions