The first message on the left is a found message (see §17.4.4.1 page 577 of formal/2017-12-05) and its use is perfectly legal.
We use cookies to ensure that we give you the best experience on our website. If you continue to use this site we will assume that you are happy with it.OkRead more