haha yeah well.
It's... actually really entertaining seeing people use formal logic to dispute a joke.