Absoluteness of intuitionis logic by Leivant