Complete_Heyting_algebra loading ...