He formalized it as a theory that could then be tested, reviewed for internal consistency, used to model/explain the world, etc.

Yeah I wouldn't call what he did primarily demonstrating, but gets you on that path (and IIRC he had several examples to point to for concepts).