property aspect of function, 189 assertions