power aspect of frost, 2 assertions