For both of these types are hypothetical assumptions which in their turn can never become 'probable': they can only be corroborated, in the sense that they can 'prove their mettle' under fire the fire of our tests.