Glivenko's translation