head aspect of walrus, 1 assertions