ex19 assertions