side aspect of polygon, 9 assertions