Heyting_algebra loading ...