value aspect of function, 829 assertions