Comment: Yes

(See in situ)

In reply to comment: Has the "formal statement" (see in situ)