The hypothetical proposition, ???If perfect justice exists, the obstinately wicked are punished,??? contains properly the relation to each other of two propositions, namely, ???Perfect justice exists,??? and ???The obstinately wicked are punished.??? Whether these propositions are in themselves true is a question not here decided.