Hover info for restatement step in implication introduction