Introducing Say() from JML