Your English writing platform
Discover LudwigSuggestions(2)
Exact(1)
In the presence of constant symbols, classical quantificational logic allows us to derive the sentence $\exists x \ a = x$ as a theorem, whence, by necessitation for complete sentences, we infer $\Box \exists x \ a= x$, which seems objectionable if $a$ is suppose to regiment a name for an object that exists only contingently.
Similar(59)
Perhaps The Miseducation of Cameron Post has a greater number of these instances than some of those other books, but unless you're prepared to offer a specific number of "allowable" curse/swear words per book on the list (which seems a poor idea, indeed), then your claim that my book was removed "solely" for its objectionable language seems patently dishonest.
Which seems more credible?
Which seems odd.
Which seems preferable?
Which seems reasonable enough.
Which seems symmetric.
Which seems unfair.
Which seems a bit unfair.
Which seems crazy to me.
Which seems like a wasted opportunity.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com