work aspect of frost, 4 assertions