The folllowing text is taken from a part in a book (reference below) which are about mathematical philosophy.
"... the theorem of classical logic known as the law of excluded middle: for every proposition $P$, the disjunction of $P$ and its negation, $(P ∨ ¬P)$, is true. This law is well motivated in cases where we may be ignorant of the facts of the matter, but where there are facts of the matter. For example, the exact depth of the Mariana Trench in the Pacific Ocean at its deepest point at exactly 12.00 noon GMT on the 1st of January 2011 is, unknown, I take it. But there is a fact of the matter about the depth of this trench at this time. It was, for example, either greater than 11,000 metres or it was not. Contrast this with cases where there is plausibly no fact of the matter. Many philosophers think that future contingent events are good examples of such indeterminacies. Take, for example, the height of the tallest building in the world at 12.00 noon GMT on the 1st of January 2021. According to the line of thought we’re considering here, the height of this building is not merely unknown, the relevant facts about this building’s height are not yet settled. The facts in question will be settled in 2031, but right now there is no fact of the matter about the height of this building. Accordingly, excluded middle is thought to fail here. It is not, for example, true that either this building is taller than 850 metres or not."1
I do not understand what the author means when he writes "This law is well motivated in cases where we may be ignorant of the facts of the matter, but where there are facts of the matter." (I do especially not understand what is meant by the dependent clause). Could you please help me?
1 Colyvan, Mark. (2012). An introduction to the philosophy of mathematics. Cambridge University Press. Pages 7-8.
PS As the context is about mathematics and mathematical logic (and mathematical philosophy), I chose MSE. Please tell me if this question fits better on another site, such as https://ell.stackexchange.com/ or https://philosophy.stackexchange.com/.