is a common form of reasoning about pwnage and is commonly accepted in most formal
pwning systems. In the general form it states:
A Pwns B
If A has happened,
we know that B has been pwned.
Chuck Norris Pwns
Chuck Norris has happened,
therefore by modus pwnens Socrates
has been pwned.
This example is also valid
with "you are" and "you have" in place
is" and "Socrates
Note: It is well known
that only an oracle
(i.e. Chuck Norris) can decide if Chuck Norris Pwns