work aspect of sen, 1 assertions