The law of excluded middle demands every proposition is true or false; statements about non-existent...
This proposition has not been edited since the history system was added.