width aspect of rectangle, 4 assertions