Report question

Question: Can I include a message in pre and postconditions