bore out

Short definition from Wiktionary

Verb

To form or enlarge by boring.
simple past of bear out

We haven’t written up bore out yet: Simple and Standard meanings, examples and a quiz.