what is your question? are you asking for the syntax of an assertion in the playground?