pattern aspect of giraffe, 2 assertions