The Error 404 Dilemma
"Does the page you want not exist because it cannot be found,
or it cannot be found because it does not exist?" -Socrates
404 axiom: ` AAx(ThisPag\e(x) -> notE!x) `
Try some other page, since, for all we know, this is true:
` diamondEEx(not404(x) ^^ notThisPag\e(x)) `