Text this: Absoluteness of intuitionistic logic /