head aspect of racket, 2 assertions