design aspect of shaver, 5 assertions