output aspect of lamp, 4 assertions