time aspect of groundhog, 2 assertions