5. If one knows that