higher bound a string

tight strings a string a ether

bind string string ether✕