Q -> P Q = Obvious Power P = Pooter Q is True P is True Therefore Obvious Power is a Pooter. I learned this in math class ;)