{\displaystyle \Rightarrow :H\times H\to H}