work aspect of pascal, 4 assertions