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 d

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).