domain aspect of function, 19 assertions