17.11.14.
Angenommen „φ(a)” ist wahr: Was heißt es zu sagen ~φa ist möglich?
(φa ist selber gleichbedeutend mit ~(~φa).)