diameter aspect of circle, 12 assertions