In the presented case, the question is resolved in the following language logic: