will be the empty set) is the same as a terminal object, and a few classes, like the class of infinite groups, do not need a terminal object: specified any infinite group G displaystyle G [o][206] Based on the conjunction theory, if anyone has justified beliefs in two different propositions,