power aspect of ring, 41 assertions