area aspect of rectangle, 13 assertions