Hume and Heimson have the same second object of belief: a function that assigns to Hume the pair of Hume and the property of being Hume, and that assigns to Heimson the pair of Heimson and the property of being Hume.