Let us suppose that the generalisation to be justified is one which asserts that the existence of a kind of object, which we will call, is generally preceded, accompanied, or followed by the existence of a kind of object, which we call.