No Escape from Vardanyan's theorem