Some examples on hiding interraction and assertions