A logic problem arises when noting that the four truths constitute what?