efficiency aspect of lamp, 7 assertions