value aspect of variable, 698 assertions