This kind of negation is sound if its argument is ground.

created by Senso
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.