radius aspect of circle, 17 assertions