The main area that Rotkit is wrong in his claim that we can demonstrate the existence of a tallest tree without observation or detection is that one or the other is required to confirm the existence of at least one tree. If there are zero trees, then there is no tallest one. Another difficulty is if there are an infinite number of trees. In that case, demonstrating the existence of a tallest tree is immeasurably harder.
![[Image: extraordinarywoo-sig.jpg]](https://i.postimg.cc/zf86M5L7/extraordinarywoo-sig.jpg)