take IntMap T ; :: thesis: IntMap T is open-valued
thus IntMap T is open-valued ; :: thesis: verum