PETER DIMOND DEMONSTRATES HOW LOGICAL SEDEVACANTISM IS