function aspect of key, 252 assertions