My doctor has pictures of dogs on the feedback form

I want billions of funding into this. The Internet needs more dog pictures!

Formally proving trivial things help when proving non trivial things and sometimes the trivial thing turns out to be wrong.

If I needed to cite that fact as a legitimate fact in an academic paper, I would need some evidence that it's true.

To be specific, it's a Moorean fact

They there to fire employees with justification.