3 assertions