 One objection is that the solution appears to require the rejection of the law of the excluded middle in addition to the law of bivalence. Now it is true that it involves the rejection of one form of the law: