add example for Assertation