Tag: statement whose translation is as follows: