use aspect of kava, 2 assertions