P*rn Logic