> “There real use-cases”

> Proceed to link to a non-constructive proof

Why are mathematicians like this?